<html>
<head><meta charset="utf-8"><title>I-prioritize #71353 Type validation fails when comparing wit · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371353.20Type.20validation.20fails.20when.20comparing.20wit.html">I-prioritize #71353 Type validation fails when comparing wit</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="194672437"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371353%20Type%20validation%20fails%20when%20comparing%20wit/near/194672437" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371353.20Type.20validation.20fails.20when.20comparing.20wit.html#194672437">(Apr 20 2020 at 13:13)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> issue <a href="https://github.com/rust-lang/rust/issues/71353" title="https://github.com/rust-lang/rust/issues/71353">#71353</a> has been requested for prioritization.</p>



<a name="194706028"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371353%20Type%20validation%20fails%20when%20comparing%20wit/near/194706028" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371353.20Type.20validation.20fails.20when.20comparing.20wit.html#194706028">(Apr 20 2020 at 17:15)</a>:</h4>
<p>This one seems pretty bad, because it was discovered so early</p>



<a name="194706996"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371353%20Type%20validation%20fails%20when%20comparing%20wit/near/194706996" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371353.20Type.20validation.20fails.20when.20comparing.20wit.html#194706996">(Apr 20 2020 at 17:23)</a>:</h4>
<p>Yeah, seems <code>P-high</code></p>



<a name="194707275"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371353%20Type%20validation%20fails%20when%20comparing%20wit/near/194707275" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371353.20Type.20validation.20fails.20when.20comparing.20wit.html#194707275">(Apr 20 2020 at 17:25)</a>:</h4>
<p>The regression happened only 3 days ago</p>



<a name="194708979"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371353%20Type%20validation%20fails%20when%20comparing%20wit/near/194708979" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371353.20Type.20validation.20fails.20when.20comparing.20wit.html#194708979">(Apr 20 2020 at 17:40)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/71353" title="https://github.com/rust-lang/rust/issues/71353">#71353</a>'s prioritization request has been removed.</p>



<a name="194709014"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371353%20Type%20validation%20fails%20when%20comparing%20wit/near/194709014" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371353.20Type.20validation.20fails.20when.20comparing.20wit.html#194709014">(Apr 20 2020 at 17:41)</a>:</h4>
<p>Tagged as <code>P-high</code>. If anyone objects, we can adjust later.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>